//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_TP_PRINT_H__
#define __ELASTOS_TP_PRINT_H__

#include <testing/timepeg.h>
#include <util/kprint.h>

extern struct timepeg_slot *g_timepeg_slots;
extern struct timepeg_slot *g_prev_slots;

void timepeg_read_proc();

EXTERN_C void TestKernelExit();

void zap_all_timepegs(void);

#endif
